home *** CD-ROM | disk | FTP | other *** search
/ Aminet 37 / Aminet 37 (2000)(Schatztruhe)[!][Jun 2000].iso / Aminet / dev / lang / sofa.lha / sofa / smalleiffel / lib_se / e_precursor.e < prev    next >
Text File  |  2000-03-25  |  4KB  |  159 lines
  1. --          This file is part of SmallEiffel The GNU Eiffel Compiler.
  2. --          Copyright (C) 1994-98 LORIA - UHP - CRIN - INRIA - FRANCE
  3. --            Dominique COLNET and Suzanne COLLIN - colnet@loria.fr
  4. --                       http://SmallEiffel.loria.fr
  5. -- SmallEiffel is  free  software;  you can  redistribute it and/or modify it
  6. -- under the terms of the GNU General Public License as published by the Free
  7. -- Software  Foundation;  either  version  2, or (at your option)  any  later
  8. -- version. SmallEiffel is distributed in the hope that it will be useful,but
  9. -- WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY
  10. -- or  FITNESS FOR A PARTICULAR PURPOSE.   See the GNU General Public License
  11. -- for  more  details.  You  should  have  received a copy of the GNU General
  12. -- Public  License  along  with  SmallEiffel;  see the file COPYING.  If not,
  13. -- write to the  Free Software Foundation, Inc., 59 Temple Place - Suite 330,
  14. -- Boston, MA 02111-1307, USA.
  15. --
  16. deferred class E_PRECURSOR
  17.    --
  18.    -- Handling of the Precursor construct.
  19.    --
  20.  
  21. inherit GLOBALS;
  22.  
  23. feature
  24.  
  25.    start_position: POSITION;
  26.  
  27.  
  28.    parent: CLASS_NAME;
  29.          -- {{<CLASS_NAME>}} to remove the ambiguity if any.
  30.  
  31. feature {E_PRECURSOR}
  32.  
  33.    current_type: TYPE;
  34.  
  35.    arguments: EFFECTIVE_ARG_LIST;
  36.  
  37.    run_feature: RUN_FEATURE;
  38.          -- Corresponding super feature.
  39.  
  40. feature {NONE}
  41.  
  42.    make(sp: like start_position; pc: like parent; pal: like arguments) is
  43.       require
  44.          not sp.is_unknown
  45.       do
  46.          start_position := sp;
  47.          parent := pc;
  48.          arguments := pal;
  49.       ensure
  50.          start_position = sp;
  51.          parent = pc;
  52.          arguments = pal;
  53.       end;
  54.  
  55. feature
  56.  
  57.    use_current: BOOLEAN is true;
  58.  
  59.    frozen afd_check is
  60.       do
  61.          if arguments /= Void then
  62.             arguments.afd_check;
  63.          end;
  64.       end;
  65.  
  66.    compile_to_c is
  67.       do
  68.          cpp.push_precursor(run_feature,arguments);
  69.          run_feature.mapping_c;
  70.          cpp.pop;
  71.       end;
  72.  
  73.    frozen pretty_print is
  74.       do
  75.          if parent /= Void then
  76.             fmt.put_character('{');
  77.             parent.pretty_print;
  78.             fmt.put_character('}');
  79.          end;
  80.          fmt.put_string(as_precursor);
  81.          if arguments /= Void then
  82.             fmt.level_incr;
  83.             arguments.pretty_print;
  84.             fmt.level_decr;
  85.          end;
  86.          put_semi_colon;
  87.       end;
  88.  
  89.    frozen compile_to_jvm is
  90.       do
  91.          jvm.push_precursor(run_feature,arguments);
  92.          run_feature.mapping_jvm;
  93.          jvm.pop;
  94.       end;
  95.  
  96. feature {NONE}
  97.  
  98.    put_semi_colon is
  99.       deferred
  100.       end;
  101.  
  102.    super_feature(wrf: RUN_FEATURE): EFFECTIVE_ROUTINE is
  103.          -- Gives the E_FEATURE to be called where `wrf' is the
  104.          -- written runable feature which contains Current.
  105.       require
  106.          wrf /= Void
  107.       local
  108.          e_feature: E_FEATURE;
  109.          wbc: BASE_CLASS;
  110.          pl: PARENT_LIST;
  111.       do
  112.          e_feature := wrf.base_feature;
  113.          wbc := e_feature.base_class;
  114.          pl := wbc.parent_list;
  115.          if pl = Void then
  116.             eh.add_position(start_position);
  117.             fatal_error("Precursor call is allowed only when the %
  118.                         %enclosing routine is redefined.");
  119.          else
  120.             Result := pl.precursor_for(Current,wrf);
  121.          end;
  122.       ensure
  123.          Result /= Void
  124.       end;
  125.  
  126.    prepare_arguments(ct: TYPE) is
  127.          -- Called after `super_feature' in order to prepare runnable `arguments'.
  128.       require
  129.          run_feature /= Void
  130.       local
  131.          a: like arguments;
  132.       do
  133.          if arguments /= Void then
  134.             a := arguments.to_runnable(ct);
  135.             if a = Void then
  136.                error(arguments.start_position,fz_bad_arguments);
  137.             else
  138.                arguments := a;
  139.             end;
  140.             if nb_errors = 0 then
  141.                arguments.match_with(run_feature,ct);
  142.             end;
  143.          elseif run_feature.arguments /= Void then
  144.             eh.add_position(run_feature.start_position);
  145.             eh.add_position(start_position);
  146.             fatal_error("Precursor must pass argument(s).");
  147.          end;
  148.       end;
  149.  
  150.    precursor_name(wfn: FEATURE_NAME; super: E_FEATURE): PRECURSOR_NAME is
  151.       require
  152.          wfn /= Void;
  153.          super /= Void
  154.       do
  155.          !!Result.refer_to(super.base_class.id,wfn);
  156.       end;
  157.  
  158. end -- E_PRECURSOR
  159.